____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Modula-3
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Modula-3 ist eine imperative, objektorientierte Programmiersprache. Sie versteht sich als Nachfolger von Pascal, Modula-2, Modula-2+ und Cedar und wurde von DEC und Olivetti entwickelt. Sie wurde in der Tradition der Sprachen von Niklaus Wirth unter den Gesichtspunkten der Einfachheit und Strenge entwickelt, an der Entwicklung war Wirth allerdings nur als Berater beteiligt. Die Einfachheit bezieht sich hierbei auf den Sprachumfang (Die Sprachdefinition von Modula-3 umfasst 60 Seiten) und nicht auf die LΓ€nge der Programme oder auf eine Orientierung an persΓΆnlichen Programmiergewohnheiten.
Contents
β’ Eigenschaften
β’ Entwicklung
β’ Weblinks
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Eigenschaften
Modula-3 besitzt folgende Eigenschaften:
β’ eine saubere und robuste Syntax
β’ strenge und statische Typen
β’ Unterbereiche ordinaler Typen
β’ Mengen ΓΌber ordinalen Typen
β’ Felder mit ordinalen Typen als Indizes
β’ Gleitkommazahlen
β’ Texte
β’ DatenverbΓΌnde und Objekte
β’ Unterprogramme und Funktionen
β’ Module
β’ Generische Module (templates)
β’ teilweise Aufdeckung von Untertypbeziehungen (partial revelation)
β’ automatische Speicherbereinigung (garbage collection)
β’ Ausnahmebehandlung (exceptions)
β’ Trennung von sicheren und unsicheren Programmteilen
Die oben genannten Konzepte wurden regelrecht minimalistisch umgesetzt. Dies erleichtert die Einarbeitung fΓΌr jemanden, der mit diesen Konzepten vertraut ist.
β’ Objektorientierung besteht im Wesentlichen aus dem Typ OBJECT.
TYPE
T = OBJECT
a: INTEGER;
METHODS
m (arg: CHAR;) := P;
END;
Dies definiert den Typ T fΓΌr Objekte, welche die Objektvariable a und die Methode m enthalten. Die Methode m wird implementiert, indem man ihr eine Prozedur P zuweist. Diese muss die Signatur
PROCEDURE P (self: T; arg: CHAR; );
besitzen.
Es gibt keine ausgezeichneten Methoden wie Konstruktoren und Destruktoren. Allerdings lassen sich Objektvariablen per Typdefinition in einen definierten Anfangszustand versetzen.
β’ Kapselung wird durch die von Modula-2 bekannte Trennung in Schnittstelle und Implementation erreicht. Durch die teilweise Aufdeckung von Untertypbeziehungen (REVEAL) kΓΆnnen darΓΌber hinaus beliebig feine Abstufungen von ZugriffsmΓΆglichkeiten definiert werden. Dies ist in gewisser Weise eine Verallgemeinerung der public-protected-private-Hierarchie und der friends-Vereinbarungen von C++.
β’ Mit Typen parametrisierte Datenstrukturen lassen sich mit generischen Modulen realisieren. Generische Module unterscheiden sich von normalen Modulen durch Modul-Parameter. In gewisser Weise kann man damit ausgewΓ€hlte IMPORT-Anweisungen variabel halten. Nachteil dieser einfachen Realisierung ist, dass generische Module nicht direkt ΓΌbersetzt werden kΓΆnnen, sondern nur ihre AusprΓ€gungen.
Entwicklung
Die DEC wurde 1998 an Compaq verkauft; diese wiederum ging 2002 in Hewlett-Packard auf. Pflege und Weiterentwicklung der Quellen der wichtigsten Modula-3-Compiler wurde von Elego Software Solutions ΓΌbernommen. Seit der Γbernahme wird vor allem Critical Mass Modula-3 stetig weiterentwickelt. Die Quellen sowie BinΓ€rpakete fΓΌr eine Reihe von Betriebssystemen kΓΆnnen frei (unter einer wenig restriktiven Lizenz etwa im Vergleich zur GPL) heruntergeladen werden.
Weblinks
β’ Modula-3-Ressourcen mit FAQ, Bibliographie und Links zu verschiedenen Implementierungen
β’ Modula-3: Tutorial zum leichten Einstieg
β’ Modula-3: Installation unter Windows
β’ Newsgroup zu Modula-3
β’ Laszlo Boszormenyi & Carsten Weich, Programming in Modula-3: An Introduction in Programming in Style: program examples (Memento vom 14. August 1997 im Internet Archive)